A Formal Model For Real-Time Parallel Computation
نویسندگان
چکیده
منابع مشابه
A Formal Model For Real-Time Parallel Computation
The imposition of real-time constraints on a parallel computing environment— specifically highperformance, cluster-computing systems— introduces a variety of challenges with respect to the formal verification of the system’s timing properties. In this paper, we briefly motivate the need for such a system, and we introduce an automaton-based method for performing such formal verification. We def...
متن کاملA Real-Time Parallel Scheduler for the Imprecise Computation Model
This paper considers the problem of scheduling hard real-time, periodic jobs on a multiprocessor while allowing imprecise computations. A highly dynamic job set is assumed, where limited a priori knowledge of a job set's behavior is available. The use of static partitioning schemes for such a job set is shown to lead to load imbalances and unecessary error. Instead, a dynamic load balancing app...
متن کاملA real-time recursive dynamic model for vehicle driving simulators
This paper presents the Real-Time Recursive Dynamics (RTRD) model that is developed for driving simulators. The model could be implemented in the Driving Simulator. The RTRD can also be used for off-line high-speed dynamics analysis, compared with commercial multibody dynamics codes, to speed up mechanical design process. An overview of RTRD is presented in the paper. Basic models for specific ...
متن کاملParallel real-time systems: formal specification
For many real-time applications, parallel computers ooer a natural computing platform. However, very little attention has been paid to software support for real-time embedded systems on parallel machines. This paper addresses the problem of formal software speciica-tion for parallel real-time systems, and presents some features of a formal speciication language { PRET-SEL (Parallel REal-Time Sp...
متن کاملTime-recursive computation and real-time parallel architectures: a framework
The time-recursive computation has been proven a particularly useful tool in real-time data compression, in transform domain adaptive filtering, and in spectrum analysis. Unlike the FFT-based ones, the time-recursive architectures require only local communication. Also, they are modular and regular, thus they are very appropriate for VLSI implementation and they allow a high degree of paralleli...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2012
ISSN: 2075-2180
DOI: 10.4204/eptcs.105.4